1. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
2. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
3. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
4. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
5. Computation engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;
6. Discrete structures and automata theory
پدیدآورنده : Dube, Rakesh
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Machine theory
رده :
QA
76
.
9
.
M35D82
7. Finite automata, formal logic, and circuit complexity
پدیدآورنده : Straubing, Howard, 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
8. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
9. Fundamentals of computation theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
10. Logic and automata
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
11. Mathematical aspects of computer science
پدیدآورنده : J. T. Schwartz editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Machine theory,Addresses, essays, lectures ، Computer science -- Mathematics
رده :
QA
1
.
P69
Vol
.
19
12. Mathematical foundations of computer science 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
13. Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989 : Proceedings
پدیدآورنده : A. Kreczmar, G. Mirkowska )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
379
14. Mathematical foundations of computer science 1988 : Proceedings of the 13th Symposium, Carlsbad, Czchoslovakia, August 29-September 2, 1988
پدیدآورنده : M.P. Chytil, L. Janiga, V. Koubek )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
324
15. Modeling and analysis of communicating systems
پدیدآورنده : Groote, Jan Friso, 5691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Simulation methods ، Telecommunication systems,، Computer science -- Mathematics,، Machine theory
رده :
TK
5102
.
83
.
G76M6
16. Theory of computation
پدیدآورنده : Wood, Derick
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
W66
1987
17. Theory of computation
پدیدآورنده : Natarajan, A.M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
N35
2003
18. Theory of computation
پدیدآورنده : Wood, Derick
موضوع : ، Computational complexity,، Machine theory,، Computer science-- Mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
19. Theory of computation
پدیدآورنده : Wood, Derick
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computational complexity , Machine theory, Computer science - Mathematics
رده :
QA
267
.
W66
1987